1. Enumerability, decidability, computability. An introduction to the theory of recursive functions
پدیدآورنده : Harmes, Hans
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursive functions,، Algebraithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
2. Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. RECURSIVE FUNCTIONS IN COMPUTER THEORY
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع :
رده :
511
,
3
,
PET
4. #Recursive functions
پدیدآورنده : #]Translated by Istvan Foldes[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Recursive functions
رده :
#
QA
،#.
P413
،#
1967
5. Recursive functions
پدیدآورنده :
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
6. The Foundations of intuitionistic mathematics; especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole, 9091-
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Constructive mathematics,، Recursive functions
رده :
QA
9
.
K648
7. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics,، Recursive functions
رده :
QA
9
.
K648
8. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematics,، Recursive functions
رده :
QA
248
.
5
.
K6
9. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
موضوع : ، Recursive functions,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
کتابخانه: (طهران)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
248
.
5
.
R6
11. Theory of recursive functions & effective computability
پدیدآورنده : ROGERS,HARTLEY
کتابخانه: (طهران)
موضوع : RECURSIVE FUNCTIONS
رده :
QA
248
.
5
.
R6